The ULg Partial-Order Package for SPIN
نویسنده
چکیده
This document presents an overview of the Partial-Order Package for SPIN developed at the University of Li ege (ULg) in 1992 { 1994. The current version of the ULg Partial-Order Package (Version 3.0) is available free of charge for educational and research purposes by anonymous ftp from ftp.monte ore.ulg.ac.be in the /pub/popackage directory.
منابع مشابه
Integrating Real Time into Spin: A Prototype Implementation
We present a discrete-time extension of Promela, a high level modelling language for the specification of concurrent systems, and the associated Spin model checker. Our implementation is fully compatible with Spin’s partial order reduction algorithm, which is indeed one of its main strengths. The real time package is for most part orthogonal to the other features of the tool, resulting in a mod...
متن کاملمحاسبه سطح مقطع پراکندگی تفکیک پروتون- دوترون در انرژیهای میانی
In this paper, we reformulate three-nucleon breakup scattering in leading order approximation by considering spin-isospin degrees of freedom. At first, considering the inhomogeneous part of Faddeev equation, which is a valid approximation in high and intermediate energles, we present the Faddeev equation as a function of vector Jacobi momenta and spin and isospin quantum numbers. In this new fo...
متن کاملImplementation of a metal structured packing in a fungal biofilm reactor for the production of a recombinant protein by Aspergillus oryzae.
Q. ZUNE*, DELEPIERRE A*; D. TOYE**, P. J. PUNT*** F. DELVIGNE**** *Unit of BioIndustry, Gembloux AgroBioTech (ULg). Passage des Déportés, 2; 5030 Gembloux. **Laboratory of Chemical Engineering, ULg. Allée de la Chimie, 3/6c. B-4000 Liege. ***Wageningen Centre for Food Sciences, P.O. Box 557, 6700 AN Wageningen (The Netherlands). ****Unit of BioIndustry, Gembloux AgroBioTech (ULg). F.R.S-F.N.R.S...
متن کاملSertoli cell proliferation in the adult testis is induced by unilateral gonadectomy in African catfish.
Survival and development of male germ cells depends on their close contact with Sertoli cells. In the cystic spermatogenesis found in fish, one germ cell clone, initially a single undifferentiated spermatogonium type A, is enclosed by and accompanied through spermatogenesis by a group of Sertoli cells. Previous work showed that after forming such spermatogenic cysts, Sertoli cells proliferated ...
متن کاملEffect of scatter coincidences, partial volume, positron range and non-colinearity on the quantification of FDOPA Patlak analysis
Introduction: The key characteristics of positron emission tomography (PET) are its quantitative capability and its sensitivity, which allow the in vivo imaging of biochemical interactions with small amounts of tracer concentrations. Therefore, accurate quantification is important. However, it can be sensitive to several physical factors. The aim of this investigation is the assessment of the e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002